Logical Foundations: Personal Perspective
نویسندگان
چکیده
Abstract We illustrate the glorious history of logical foundations and discuss uncertain future.
منابع مشابه
Logical foundations of CafeOBJ
This paper surveys the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adding several new primitive paradigms such as behavioural concurrent specification and rewriting logic. We first give a concise overview of CafeOBJ. Then we focus on the actual logical foundations of the language at two different levels: basic spec...
متن کاملLogical Foundations of Services
In this paper we consider a logical system of networks of processes that interact in an asynchronous manner by exchanging messages through communication channels. This provides a foundational algebraic framework for service-oriented computing that constitutes a primary factor in defining logical specifications of services, the way models of these specifications capture service orchestrations, a...
متن کاملLogical Foundations of Syllable Representations
• Differences in notation do not necessarily entail differences in the information encoded in a particular formalism. • Fonts are notationally equivalent, in the sense that cat and cat are the same word. • In contrast, there are meaningful differences between bracket types in mathematical notation: {1, 2} is an unordered set, while (1, 2) is an ordered pair. Research question: are different syl...
متن کاملLogical Foundations of Multilevel Databases
In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, object-oriented...). Our model has three layers. The first layer corresponds to a model for a non-protected database. The second layer corresponds to a model for a multilevel database. In this second layer, we propose a ...
متن کاملLogical Foundations of Possibilistic Keys
Possibility theory is applied to introduce and reason about the fundamental notion of a key for uncertain data. Uncertainty is modeled qualitatively by assigning to tuples of data a degree of possibility with which they occur in a relation, and assigning to keys a degree of certainty which says to which tuples the key applies. The associated implication problem is characterized axiomatically an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of the IGPL
سال: 2022
ISSN: ['1367-0751', '1368-9894']
DOI: https://doi.org/10.1093/jigpal/jzac059